ar X iv : h ep - t h / 95 10 16 2 v 1 2 3 O ct 1 99 5 Orbit spaces of reflection groups with 2 , 3 and 4 basic polynomial invariants ∗

Functions which are covariant or invariant under the transformations of a compact linear group can be advantageously expressed in terms of functions defined in the orbit space of the group, i.e. as functions of a finite set of basic invariant polynomials. The equalities and inequalities defining the orbit spaces of all finite coregular real linear groups (most of which are crystallographic groups) with at most four independent basic invariants are determined. For each group G acting in the Euclidean space 1R n , the results are obtained through the computation of a metric matrix P (p), which is defined only in terms of the scalar products between the gradients of a set of basic polynomial invariants p 1 (x),. .. p q (x), x ∈ 1R n of G; the semi-positivity conditions P (p) ≥ 0 are known to determine all the equalities and inequalities defining the orbit space 1R n /G of G as a semi-algebraic variety in the space 1R q spanned by the variables p 1 ,. .. , p q. In a recent paper, the P-matrices, for q ≤ 4, have been determined in an alternative way, as solutions of a universal differential equation; the present paper yields a partial, but significant, check on the correctness and completeness of these solutions. Our results can be easily exploited, in many physical contexts where the study of covariant or invariant functions is important, for instance in the determination of patterns of spontaneous symmetry breaking, in the analysis of phase spaces and structural phase transitions (Landau's theory), in covariant bifurcation theory, in crystal field theory and in most areas of solid state theory where use is made of symmetry adapted functions.